combinational digital circuits
英
美
网络 组合数字电路
双语例句
- Modeling of combinational digital circuits using Petri nets
用Petri网对组合数字电路构模 - Based on Petri nets theory, combinational digital circuits can be modeled and verified.
组合数字电路可方便、直观地采用Petri网来建立模型并进而实施逻辑验证。 - The main contents are as follows: Combinational circuit verification is an important aspect and foundation of formal verification of digital integrated circuits.
主要内容包括：组合电路验证是数字集成电路形式化设计验证的重用方面。